Concurrency Control for Overlapping and Cooperative Workkows
نویسنده
چکیده
منابع مشابه
Workkows, Transactions, and Datalog
Transaction Datalog (abbreviated T D) is a concurrent programming language that provides process modeling, database access, and advanced transactions. This paper illustrates the use of T D for specifying and simulating workkows, with examples based on the needs of a high-throughput genome laboratory. In addition to database support, these needs include concurrent access to shared resources, syn...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملQualitative and Quantitative Analysis of Business Workkows Using Generalized Stochastic Petri Nets
The Petri net formalism, due to its graphical modeling support and profound mathematical background, has been successfully used in the analysis of systems that obey concurrency, synchronization, mutual exclusion and nondeterminism. Computerized tools supporting the model development process and automating the analysis are available today. In this work we propose the tool supported analysis of b...
متن کاملA Survey of Concurrency Control Algorithms in the Operating Systems
Concurrency control is one of the important problems in operation systems. Various studies have been reported to present different algorithms to address this problem, although a few attempts have been made to represent an overall view of the characteristics of these algorithms and comparison of their capabilities to each other. This paper presents a survey of the current methods for controlling...
متن کاملDistributed Concurrency Control in Real-time Cooperative Editing Systems
EEcient distributed concurrency control is one of the most signiicant challenges in building real-time cooperative editing systems. In this paper , we focus on the deenition and veriication of an integrated set of distributed concurrency control schemes based on a novel consistency model for solving three inconsistency problems: divergence, causality-violation, and intention-violation in real-t...
متن کامل